Gernot Heiser - PDFSEARCH.IO - Document Search Engine

Gernot Heiser
Results: 93

#	Item
81	THE UNIVERSITY OF NEW SOUTH WALES SCHOOL OF COMPUTER SCIENCE AND ENGINEERING I/O Kit Drivers for L4 Geoffrey Lee Add to Reading List Source URL: www.disy.cse.unsw.edu.au Language: English - Date: 2005-11-12 03:06:26 L4 microkernel family XNU Gernot Heiser Microkernel Darwin Kernel I/O Kit Device driver Ring Computer architecture Mac OS X Mach
82	The University of New South Wales School of Computer Science and Engineering Virtualising Darwin on L4 Bachelor of Engineering (Computer Engineering) February 20, 2007 Add to Reading List Source URL: www.disy.cse.unsw.edu.au Language: English - Date: 2008-06-02 03:08:16 Mac OS X Mach L4 microkernel family Gernot Heiser Kernel Darwin Microkernel XNU Virtual machine Computer architecture System software Software
83	High-Performance Microkernels and Virtualisation on ARM and Segmented Architectures Carl van Schaik† and Gernot Heiser†‡§ † Open Kernel Labs Add to Reading List Source URL: www.ssrg.nicta.com.au Language: English - Date: 2013-10-20 22:09:47 Computer memory Central processing unit Memory management Concurrent computing Translation lookaside buffer L4 microkernel family CPU cache Page table Gernot Heiser Virtual memory Computing Computer architecture
84	University of New South Wales School of Computer Science and Engineering Performance Limits of Darwin on L4 Thesis Part B Add to Reading List Source URL: www.disy.cse.unsw.edu.au Language: English - Date: 2008-06-03 01:23:50 L4 microkernel family Microkernel Gernot Heiser Kernel XNU Darwin Inter-process communication Thread Trusted computing base Computer architecture Mac OS X Mach
85	An Architectural Approach for Cost Effective Trustworthy Systems Ihor Kuz, Liming Zhu, Len Bass, Mark Staples, Xiwei Xu NICTA Copyright 2012 Add to Reading List Source URL: wicsa2012.soberit.hut.fi Language: English - Date: 2012-11-29 11:36:03 Formal verification NICTA Trustworthiness Copyright Trust Computer security Gernot Heiser Ethics Science L4 microkernel family
86	Operating System Verification for Real Use Gernot Heiser School of Computer Science and Engineering, University of New South Wales, and Embedded, Real-Time and Operating Systems Program, National ICT Australia Sydney, Au Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2008-07-22 18:53:53 Gernot Heiser L4 microkernel family Microkernel Formal verification Kernel Embedded system Ring Linux kernel Operating system Computer architecture System software Software
87	Mathematically Verified Software Kernels: Raising the Bar for High Assurance Implementations Dr Daniel Potts, VP of Engineering, General Dynamics C4 Systems Rene Bourquin, Member Technical Staff, General Dynamics C4 Syst Add to Reading List Source URL: sel4.org Language: English - Date: 2014-07-28 22:03:39 Evaluation Trusted computing base Microkernel L4 microkernel family Real-time operating systems Gernot Heiser Formal verification Isabelle Formal methods Computer security Computer architecture Computing
88	Media Release 4 November 2010 Software from NICTA spin-out company Open Kernel Labs secures one billion mobile handsets NICTA spin-out company and leading mobile virtualisation provider Open Kernel Labs has Add to Reading List Source URL: www.nicta.com.au Language: English - Date: 2010-11-04 00:23:43 Software Smartphones Open Kernel Labs L4 microkernel family Gernot Heiser NICTA Griffith University Mobile phone Android System software Technology Embedded systems
89	L4, Wombat, Skyeye and PLEB Ben Leslie Add to Reading List Source URL: benno.id.au Language: English - Date: 2006-01-23 15:13:54 Microkernel Kernel NICTA L4 Gernot Heiser IGUANA Computing Computer architecture L4 microkernel family Trusted computing base
90	10 Years L4-Based Systems L4/Nizza Secure-System Architecture TU Dresden Operating Add to Reading List Source URL: www.sevecom.org Language: English - Date: 2006-09-11 03:36:46 Kernel Mach IBM Workplace OS Trusted computing base Operating system Ring Operating system kernels Gernot Heiser TUD:OS Computer architecture L4 microkernel family Microkernel

UPDATE